COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	katz[e88,jmc]		Notes on Language and other Abstract Objects
C00003 ENDMK
C⊗;
katz[e88,jmc]		Notes on Language and other Abstract Objects

12 The principal aim is to solve the philosophical problem of whether
abstract objects exist.
- puzzling.  Do elements of abstract groups exist?  Why isn't it just
the question of whether certain (first order) theories have models?
This page contains the main point of the book and a considerable
clarification of the issues.  But the answer seems obvious to a
mathematician.  Of course abstract objects exist.  What next?

Ontological doctrines are metatheories about the proper interpretation
of theories in the special sciences.